Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
11	Control-Flow Analysis Last time – Undergraduate compilers in a day Today – Control-flow analysis – Building basic blocks Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-09-14 09:54:15 Software engineering Compiler construction Computer programming Graph theory Mathematics Dominator Data-flow analysis Control flow Interval Control theory Infinite loop Graph
12	ADVANCES IN THE DEVELOPMENT AND APPLICATION OF AN OPEN SOURCE MODEL SERVER FOR BUILDING INFORMATION Jakob Beetz, PhD / Assistant professor, Eindhoven University of technology, Eindhoven, The Netherlands Add to Reading List Source URL: bimserver.org Language: English - Date: 2013-08-09 07:23:35 Real estate Building information modeling Construction Software Industry Foundation Classes ArchiCAD Database Data model Scientific modelling Personal knowledge base
13	Swissbau 2016 \| Swissbau Focus \| IG Bauen digital Schweiz und buildingSMART International Add to Reading List Source URL: www.bauen-digital.ch Language: English - Date: 2016-08-22 08:52:01 Real estate Building information modeling Construction Software BuildingSMART Vectorworks BIM
14	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
15	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
16	MEMORANDUM TO ADVANCE COMMITTEE AGENDA ITEM TO THE BOARD OF REGENTS THE UNIVERSITY OF NEW MEXICO DATE: Add to Reading List Source URL: pdc.unm.edu Language: English - Date: 2016-06-02 17:22:29 Civil engineering Construction (Design and Management) Regulations Construction Const Software engineering Computing Engineering
17	Chief Expert in Geology Applied to Underground Construction The Geological Survey of Finland (GTK) is one of the leading geosciences research centres in Europe. We are seeking a skilled, collaborative-minded and enthusia Add to Reading List Source URL: www.eurogeosurveys.org Language: English - Date: 2016-03-02 04:10:08 Software Computing Computer programming Cross-platform software GNOME GTK+ Motivation Geological Survey of Finland GTK Expert Mail
18	Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head Add to Reading List Source URL: www.cs.binghamton.edu Language: English - Date: 2013-07-27 18:42:38 Computing Software engineering Finite automata Compiler construction Parallel computing Analysis of parallel algorithms Speedup VTD-XML Concurrent data structure Finite-state machine Regular expression Parsing
19	ADA COMPLIANCE AND FINAL ACCEPTANCE OF CONSTRUCTED FACILITIES JSP-10-01ADescription. The contractor shall comply with all laws pertaining to the Americans with Disabilities Act (ADA) during construction of pedes Add to Reading List Source URL: spexternal.modot.mo.gov Language: English Software engineering Computing Programming language theory Contract law Civil engineering Construction (Design and Management) Regulations Americans with Disabilities Act Ada Construction Subcontractor General contractor
20	CASE STUDY: MATOMO PROJECTS, SOUTH AFRICA FACTS AT A GLANCE Company: Matomo Projects Website: www.basilread.co.za Description: Backed by more than six Add to Reading List Source URL: www.coade.com Language: English - Date: 2016-04-04 13:27:51 Plumbing Construction Real estate Engineering GIS software Intergraph Piping Pipe High-density polyethylene Tailings Geographic information system

UPDATE